symbolic logics
[数] 符号逻辑；数理逻辑；符号论理学
热门查询
- hitchhike n. 搭便车（旅行） vt. 要求（搭便车） vi. 搭便车
- insanely adv. 疯狂地；狂暴地；精神错乱地
- hartford n. 哈特福特（美国康涅狄格州首府）
- stupor n. 昏迷，恍惚；麻木
- differential n. 微分；差别 adj. 微分的；差别的；特异的
- Antoni n. (Antoni)人名；(俄)安东尼；(意、西、罗、法、波、德、马其、瑞典、俄)安东尼
- avail vi. 有益于，有益于；使对某人有利。 vt. 有益于，有益于；使对某人有利。 n. 效用，利益
- Rocca [地名] 岩、陡崖（意大利语）
- beguiling adj. 欺骗的；消遣的；令人陶醉的 v. 欺骗；使愉快地度过；迷住（beguile的ing形式）
- dogmatic adj. 教条的；武断的
- bumbling adj. 装模作样的；笨手笨脚的；爱管闲事的 v. 发嗡嗡声（bumble的ing形式）
- adeptness n. 熟练
- its pron. 它的 n. (Its)人名；(俄)伊茨
- demander n. 要求者，请求者 n. (Demander)人名；(瑞典)德曼德
- sweetened adj. 变甜的 v. 加糖；变甜（sweet的过去式和过去分词）
- reasoning n. 推理；论证；评理 v. 推论；说服（reason的ing形式） adj. 推理的
- Lyne [人名] [英格兰人姓氏] 莱恩 Line的变体; [人名] [爱尔兰姓氏] 莱恩 Lane的变体; [人名] [苏格兰人姓氏] 莱恩住所名称，来源于盖尔语，含义是“池，溪”(pool,stream)
- longhouse 长屋
- performer n. 演出者；执行者；演奏者
- worryingly adv. 焦虑地，烦恼地
